2. Логические приемы и правила выдвижения и проверки версий